Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages
نویسندگان
چکیده
منابع مشابه
Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages
For a class L of languages let PDL[L] be an extension of Propositional Dynamic Logic which allows programs to be in a language of L rather than just to be regular. If L contains a non-regular language, PDL[L] can express non-regular properties, in contrast to pure PDL. For regular, visibly pushdown and deterministic context-free languages, the separation of the respective PDLs can be proven by ...
متن کاملLogics For Context-Free Languages
Erklärung Hiermit versichere ich, dass ich die vorliegende Masterarbeit selbstständig verfasst und keine anderen Quellen und Hilfsmittel als die angegebenen benutzt habe.
متن کاملTest Sets for Context Free Languages and Algebraic Systems of Equations over a Free Monoid
It is shown that for every context free language L there effectively exists a test set F, that is, a finite subset F of L such that, for any pair (g, h) of morphisms, g(x) = h(x) for all x in F implies g(x) = h(x) for all x in L. This result was claimed earlier but a detailed correct proof is given here. Together with very recent results on systems of equations over a free monoid this result im...
متن کاملOptimal Test Sets for Context-Free Languages
A test set for a formal language (set of strings) L is a subset T of L such that for any two string homomorphisms f and g defined on L, if the restrictions of f and g on T are identical functions, then f and g are identical on the entire L. Previously, it was shown that there are context-free grammars for which smallest test sets are cubic in the size of the grammar, which gives a lower bound o...
متن کاملLogics For Context { Free
We deene matchings, and show that they capture the essence of context{freeness. More precisely, we show that the class of context{ free languages coincides with the class of those sets of strings which can be deened by sentences of the form 9 b', where ' is rst order, b is a binary predicate symbol, and the range of the second order quantiier is restricted to the class of matchings. Several var...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.54.15